Nuprl Definition : q_le 11,40
q_le(r; s) == bor(qpositive((s - r)); qeq(r; s)) 
latex

Definitionsqeq(r; s), r - s, qpositive(r), bor(p; q)
FDL editor aliasesq_le

origin